<option value='AnnArbor'>AnnArbor</option>
<option value='Antibes'>Antibes</option>
<option value='Bergen'>Bergen</option>
<option value='Berkeley'>Berkeley</option>
<option value='Berlin'>Berlin</option>
<option value='Boadilla'>Boadilla</option>
<option value='boxes'>boxes</option>
<option value='CambridgeUS'>CambridgeUS</option>
<option value='Copenhagen'>Copenhagen</option>
<option value='Darmstadt'>Darmstadt</option>
<option value='default'>default</option>
<option value='Dresden'>Dresden</option>
<option value='Frankfurt'>Frankfurt</option>
<option value='Goettingen'>Goettingen</option>
<option value='Hannover'>Hannover</option>
<option value='Ilmenau'>Ilmenau</option>
<option value='JuanLesPins'>JuanLesPins</option>
<option value='Luebeck'>Luebeck</option>
<option value='Madrid'>Madrid</option>
<option value='Malmoe'>Malmoe</option>
<option value='Marburg'>Marburg</option>
<option value='Montpellier'>Montpellier</option>
<option value='PaloAlto'>PaloAlto</option>
<option value='Pittsburgh'>Pittsburgh</option>
<option value='Rochester'>Rochester</option>
<option value='Singapore'>Singapore</option>
<option value='Szeged'>Szeged</option>
<option value='Warsaw'>Warsaw</option>
<option value='AnnArbor'>AnnArbor</option>
<option value='Antibes'>Antibes</option>
<option value='Bergen'>Bergen</option>
<option value='Berkeley'>Berkeley</option>
<option value='Berlin'>Berlin</option>
<option value='Boadilla'>Boadilla</option>
<option value='boxes'>boxes</option>
<option value='CambridgeUS'>CambridgeUS</option>
<option value='Copenhagen'>Copenhagen</option>
<option value='Darmstadt'>Darmstadt</option>
<option value='default'>default</option>
<option value='Dresden'>Dresden</option>
<option value='Frankfurt'>Frankfurt</option>
<option value='Goettingen'>Goettingen</option>
<option value='Hannover'>Hannover</option>
<option value='Ilmenau'>Ilmenau</option>
<option value='JuanLesPins'>JuanLesPins</option>
<option value='Luebeck'>Luebeck</option>
<option value='Madrid'>Madrid</option>
<option value='Malmoe'>Malmoe</option>
<option value='Marburg'>Marburg</option>
<option value='Montpellier'>Montpellier</option>
<option value='PaloAlto'>PaloAlto</option>
<option value='Pittsburgh'>Pittsburgh</option>
<option value='Rochester'>Rochester</option>
<option value='Singapore'>Singapore</option>
<option value='Szeged'>Szeged</option>
<option value='Warsaw'>Warsaw</option>
